Skip to main content

More Groups

DnD_n : Let n3n \ge 3, Dihedral group is a symmetrical regular n-gon denote by DnD_n

  • The order of DnD_n is 2n2n
  • Let D4D_4 be the group of all symmetries of the square with the operation being function composition. Denote pnp_{n} by rotate n degree. Denote rr be reflection. Denote the square with side a,b,c,da,b,c,d. D means Dihedral

ZnZ_n: the binary operations addition modulo nn on the set {0,1,,n1}\{0,1,\ldots,n-1\}

  • If gg is co-prime of nn for group Zn\Z_n, then g=Zn\langle g \rangle = \Z_n is a cyclic group
  • k,kn    n/k\forall k, k|n \implies \langle n/k\rangle is unique subgroup of Zn\Z_n of order kk
  • Every infinite cyclic group is isomorphic to Z\Z
  • Every finite cyclic group is isomorphic to some Zn\Z_n

U(n)=UnU(n) = U_n: the binary operations multiplication modulo nn on the set {0,1,,n1}\{0,1,\ldots,n-1\}

Uk(n)U_k(n): kn,Uk(n)={xU(n):xmodk=1}\forall k|n, U_k(n) = \{x\in U(n) : x\mod k = 1\}s

SnS_n: (Symmetric group) stand the group of injective functions from {1,,n}\{1,\ldots,n\} to {1,,n}\{1,\ldots,n\}

  • S3S_3 is the "same group" as D3D_3 by order
  • Sn=n!|S_n| = n!
  • even permutation in SnS_n forms a subgroup of SnS_n
  • σSn,σ=(i1j1)(imjm)\sigma \in S_n, \sigma = (i_1j_1)\ldots(i_mj_m) then sgn=1sgn = 1 when even, else odd
  • sign function of multiplication SnS_n is a homomorphism
  • Any subgroup of SnS_n acts on the nn-element set {1,,n}\{1,\ldots,n\}

AnA_n: alternating group of degree nn or the group of even permutations of nn symbols

  • An=n!/2|A_n| = n!/2

  • n3    An\forall n\le 3 \iff A_n is abelian

  • commutator subgroup of SnS_n

  • GLn(R)GL_n(\R) or GL(n,R)={GL(n, \R) = \{all invertible real-valued n×nn\times n matrices}={\}=\{all invertible linear operators RnRn\R^n\to \R^n matrices}\}

  • the determinant is a homomorphism

SLn(R)=SL(n,R)={AGLn(R):det(A)=1}SL_n(\R) = SL(n, \R) = \{A\in GL_n(\R) : det(A) = 1\}

  • SLn(R)SL_n(\R) is the kernel of the determinant function map GLn(R)R×GL_n(\R)\to \R ^{\times}

GLn(R)=GL(n,R)={n×nGL_n(\R) = GL(n, \R) = \{n\times n matrices of non-zero determinants with coefficients from the field R}\R\}